--- include/jemalloc/jemalloc.sh	2022-05-16 18:45:40.072099757 +0800
+++ include/jemalloc/jemalloc.sh	2022-05-16 18:45:44.994620722 +0800
@@ -12,7 +12,7 @@ extern "C" {
 EOF

 for hdr in jemalloc_defs.h jemalloc_rename.h jemalloc_macros.h \
-           jemalloc_protos.h jemalloc_typedefs.h jemalloc_mangle.h ; do
+           jemalloc_protos.h jemalloc_typedefs.h ; do
   cat "${objroot}include/jemalloc/${hdr}" \
       | grep -v 'Generated from .* by configure\.' \
       | sed -e 's/ $//g'